covering homomorphism

覆盖同态